<?php
#[Attribute
function main() {}
